1. A perspective of constraint-based reasoning :
پدیدآورنده : edited by H.W. Güsgen, J. Hertzberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
2. AI and artificial life in video games /
پدیدآورنده : Guy W. Lecky-Thompson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer games.,Video games-- Design.,Intelligence artificielle.,Jeux d'ordinateur.,Jeux vidéo-- Conception.,Artificial intelligence.,Artificial intelligence.,Computer games.,Computer games.,GAMES-- Video & Electronic.,Video games-- Design.,Video games-- Design.
رده :
GV1469
.
15
.
L43
2008eb
3. AI and cognitive science :
پدیدآورنده : second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligence artificielle -- Actes de congrès.
4. Adaptive Control Strategies for Industrial Use :
پدیدآورنده : edited by Sirish L. Shah, Guy Dumont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Commande, Théorie de la.,Génie logiciel.,Intelligence artificielle.
رده :
TJ217
.
E358
2006
5. Advanced Information Systems Engineering Workshops :
پدیدآورنده : edited by Xavier Franch, Pnina Soffer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Génie logiciel.,Informatique.,Intelligence artificielle.
رده :
QA76
.
76
.
A65
E358
2013
6. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
7. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
8. Algorithmes pour l'intelligence artificielle
پدیدآورنده : coordinateurs Pierre Marquis, Odile Papini, Henri Prade ; préface Alain Colmerauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithmes.,Intelligence artificielle.
9. Automated deduction - CADE-24 :
پدیدآورنده : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; Maria Paola Bonacina (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatisches Beweisverfahren,DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE),DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
10. Big data et machine learning :
پدیدآورنده : Pirmin Lemberger, ... Marc Batty, ... Médéric Morel ... [et al.] ; préface de Michel Delattre, ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Données massives.,Exploration de données.,Intelligence artificielle.
11. Chess Metaphors :
پدیدآورنده : Diego Rasskin-Gutman ; Translated by Deborah Klosky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Schach, ...,Chess-- Psychological aspects.,Chess-- Psychological aspects.,GAMES-- Chess.,Intelligence artificielle.,Künstliche Intelligenz,Künstliche Intelligenz.,Schach.
رده :
GV1448
.
R37
2009eb
12. Computers for artificial intelligence applications :
پدیدآورنده : Benjamin Wah and G.-J. Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Data processing.,Computer architecture.,Intelligence artificielle-- Informatique.,Ordinateurs-- Architecture.,Artificial intelligence-- Data processing.,Computer architecture.
رده :
Q336
.
W34
1986
13. Diagrammatic representation and reasoning
پدیدآورنده : Michael Anderson, Bernd Meyer, and Patrick Olivier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligence artificielle.,Théorèmes -- Démonstration automatique.,Traitement d'images.
رده :
QA76
.
9
.
A96
M534
2002
14. EPIA '91 :
پدیدآورنده : P. Barahona, L. Moniz Pereira, A. Porto (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Informatique.,intelligence artificielle -- congrès.,Intelligence artificielle.
15. Intelligent technologies--theory and applications :
پدیدآورنده : edited by Peter Sincak [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Intelligence artificielle, Congrès.,Agent,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Intelligent agents (Computer software),Künstliche Intelligenz
رده :
QA76
.
76
.
I58
I584
2002eb
16. Knowledge spaces
پدیدآورنده : Jean-Paul Doignon, Jean-Claude Falmagne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligence artificielle.,Langage naturel, Traitement du (informatique),Linguistique -- Informatique.
رده :
QA76
.
9
.
N38
J436
1999
17. L'intelligence artificielle :
پدیدآورنده : coordinateurs, Pierre Marquis, Odile Papini, Henri Prade ; préface, Paul Braffort.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligence artificielle.
18. L'intelligence artificielle n'existe pas /
پدیدآورنده : Luc Julia ; en collaboration avec Ondine Khayat ; préface de Jean-Louis Gassée.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Intelligence artificielle.,Intelligence artificielle-- Histoire.,Artificial intelligence.,Intelligence artificielle.,Intelligence artificielle.
رده :
Q335
.
J85
2019
19. Logic-based artificial intelligence /
پدیدآورنده : edited by Jack Minker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
